Wyniki
-
Functorialization of first-order language with finitely many predicates
Antonio M. Sette, J.S. Sette
Bulletin of the Section of Logic , 7 /2 (1978) s. 97-101 -
On the equivalence between two systems of paraconsistent logic
Antonio M. Sette, Elias H. Alves
Bulletin of the Section of Logic , 24 /3 (1995) s. 155-157 -
On the equivalence between some systems of non-classical logic
Antonio M. Sette, Elias H. Alves
Bulletin of the Section of Logic , 25 /2 (1996) s. 68-72 -
Lukasiewicz logic and Wajsberg algebras
Antonio Rodrigues, Antoni Torrens, Ventura Verdu
Bulletin of the Section of Logic , 19 /2 (1990) s. 51-55